home *** CD-ROM | disk | FTP | other *** search
/ SPACE 1 / SPACE - Library 1 - Volume 1.iso / program / 356 / defs / text.def < prev    next >
Text File  |  1992-03-11  |  3KB  |  82 lines
  1. DEFINITION MODULE Text;
  2.  
  3.  
  4. (*
  5. *    Copyright (c) 1985, 1986 by
  6. *    Djavaheri Bros., Foster City, California.
  7. *    All Rights Reserved.
  8. *
  9. *    This software is furnished under a license and may be used and copied
  10. *    only  in accordance with  the  terms  of  such  license and  with the
  11. *    inclusion of the above copyright notice.  This software or  any other
  12. *    copies thereof may not be provided or otherwise made available to any
  13. *    other  person.   No title to and ownership of the  software is  herby
  14. *    transferred.
  15. *
  16. *    The information in this software is  subject to change without notice
  17. *    and  should  not be construed as a commitment by Djavaheri Bros.   No
  18. *    warranty is implied or expressed.
  19. *
  20. *  SCCID  = "1.2    9/19/86"; 
  21. *)
  22. FROM Files IMPORT File, FileState;
  23.  
  24. EXPORT QUALIFIED
  25.     EOL,
  26.     ReadChar,     ReadLn,       ReadString, ReadLine,
  27.     UndoRead,     CondRead,
  28.     WriteChar,    WriteString,  WriteLn;
  29.  
  30.  
  31. PROCEDURE EOL      ( file    : File)
  32.                              : BOOLEAN;
  33. (* Returns true if last operation was not performed due to end of line or
  34.    error *)
  35.  
  36. PROCEDURE ReadChar ( file    : File;
  37.                  VAR ch      : CHAR;
  38.                  VAR state   : FileState);
  39. (* Read a char from a TextFile.  If the file is the standard input file,
  40.    then echoing is controlled by Module StandardIO *)
  41.  
  42. PROCEDURE ReadString(file    : File;
  43.                  VAR str     : ARRAY OF CHAR;
  44.                  VAR state   : FileState);
  45. (* Read a string from a text file until EOL, EOF, or end of string *)
  46.  
  47. PROCEDURE ReadLine(file    : File;
  48.                  VAR str     : ARRAY OF CHAR;
  49.                  VAR state   : FileState);
  50.  
  51. PROCEDURE ReadLn   ( file    : File;
  52.                  VAR state   : FileState);
  53. (* eat characters (without echo) until EOL, then eat EOL (with echo) *)
  54.  
  55. PROCEDURE UndoRead(  file    : File;
  56.                  VAR state   : FileState);
  57. (* allow most recently read CHAR to be read again *)
  58.  
  59. PROCEDURE CondRead(  file    : File;
  60.                  VAR ch      : CHAR;
  61.                  VAR success : BOOLEAN;
  62.                  VAR state   : FileState);
  63. (* attempt to read a char: return TRUE in "success" if read succeeds; return
  64.    FALSE in "success" if read fails.  If read fails, value in "ch" is
  65.    undefined *)
  66.  
  67. PROCEDURE WriteChar( file    : File;
  68.                      ch      : CHAR;
  69.                  VAR state   : FileState);
  70. (* Write a single character to a text file *)
  71.  
  72. PROCEDURE WriteString(file   : File;
  73.                  VAR str     : ARRAY OF CHAR;
  74.                  VAR state   : FileState);
  75. (* Write a string of characters to a text file *)
  76.  
  77. PROCEDURE WriteLn  ( file    : File;
  78.                  VAR state   : FileState);
  79. (* Write an EOL to a text file *)
  80.  
  81. END Text.
  82.